English Computing Dictionary
◊ DESCENT FUNCTION
descent function
If a {recursive} function is of the form
f x ◦ ... f (d x) ...
then d is known as the descent function.